Ident. | Authors (with country if any) | Title |
---|
000020 |
Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne] | SoK: Verifiability Notions for E-Voting Protocols |
000088 |
Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis] | Special Issue on Whole-body control of contacts and dynamics for humanoid robots |
000108 |
Franck Hétroy-Wheeler [France] ; Eric Casella [Royaume-Uni] ; Dobrina Boltcheva [France] | Segmentation of tree seedling point clouds into elementary units |
000119 |
Danesh Tarapore [Royaume-Uni] ; Jeff Clune [États-Unis] ; Antoine Cully [Royaume-Uni] ; Jean-Baptiste Mouret [France] | How Do Different Encodings Influence the Performance of the MAP-Elites Algorithm? |
000134 |
Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique] | The year in cardiology 2015: coronary intervention. |
000137 |
Gérard Helft [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Claude Le Feuvre [France] ; Jean-Louis Georges [France] ; Didier Carrie [France] ; Xavier Dreyfus [France] ; Alain Furber [France] ; Florence Leclercq [France] ; Hélène Eltchaninoff [France] ; Jean-François Falquier [France] ; Patrick Henry [France] ; Simon Cattan [France] ; Laurent Sebagh [France] ; Pierre-Louis Michel [France] ; Albert Tuambilangana [France] ; Nadjib Hammoudi [France] ; Franck Boccara [France] ; Guillaume Cayla [France] ; Hervé Douard [France] ; Abdourahmane Diallo [France] ; Emmanuel Berman [France] ; Michel Komajda [France] ; Jean-Philippe Metzger [France] ; Eric Vicaut [France] | Stopping or continuing clopidogrel 12 months after drug-eluting stent placement: the OPTIDUAL randomized trial. |
000139 |
Deepak L. Bhatt [États-Unis] ; Marc P. Bonaca [États-Unis] ; Sameer Bansilal [États-Unis] ; Dominick J. Angiolillo [États-Unis] ; Marc Cohen [États-Unis] ; Robert F. Storey [Royaume-Uni] ; Kyungah Im [États-Unis] ; Sabina A. Murphy [États-Unis] ; Peter Held [Suède] ; Eugene Braunwald [États-Unis] ; Marc S. Sabatine [États-Unis] ; Ph Gabriel Steg [France] | Reduction in Ischemic Events with Ticagrelor in Diabetic Patients: From the PEGASUS-TIMI 54 Trial. |
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000142 |
Viviana Loria-Kohen [Espagne] ; Isabel Espinosa-Salinas [Espagne] ; Helena Marcos-Pasero [Espagne] ; Thais Lourenço-Nogueira [Royaume-Uni] ; Jesús Herranz [Espagne] ; Susana Molina [Espagne] ; Guillermo Reglero [Espagne] ; Ana Ramirez De Molina [Espagne] | Polymorphism in the CLOCK gene may influence the effect of fat intake reduction on weight loss. |
000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000153 |
Franck P. Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] | Development and validation of real-time simulation of X-ray imaging with respiratory motion. |
000182 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems |
000184 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000193 |
Jon Barker [Royaume-Uni] ; Ricard Marxer [Royaume-Uni] ; Emmanuel Vincent [France] ; Shinji Watanabe [États-Unis] | The third `CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines |
000250 |
Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Peter Deisenroth [Royaume-Uni] ; Jan Peters [France] | Learning torque control in presence of contacts using tactile sensing from robot skin |
000282 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
000354 |
Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne] | Modal Tableau Systems with Blocking and Congruence Closure |
000361 |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Foundational Extensible Corecursion: A Proof Assistant Perspective |
000372 |
Felix Weninger [Allemagne] ; Hakan Erdogan [États-Unis] ; Shinji Watanabe [États-Unis] ; Emmanuel Vincent [France] ; Jonathan Le Roux [États-Unis] ; John R. Hershey [États-Unis] ; Björn Schuller [Royaume-Uni] | Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR |
000436 |
Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France] | Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery |
000485 |
Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France] | Second International Workshop on Formal Integrated Development Environment |
000488 |
Steven Latré [Belgique] ; Marinos Charalambides [Royaume-Uni] ; Jérôme François [France] ; Corinna Schmitt [Suisse] ; Burkhard Stiller [Suisse] | Intelligent Mechanisms for Network Configuration and Security : 9th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2015, Ghent, Belgium, June 22-25, 2015. |
000526 |
Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne] | Learning Inverse Dynamics Models with Contacts |
000558 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | A comprehensive analysis of game-based ballot privacy definitions |
000582 |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Witnessing (Co)datatypes |
000681 |
Franck Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] | Simulated Motion Artefact in Computed Tomography |
000711 |
Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | Fractional coloring of triangle-free planar graphs |
000745 |
Philippe Degrell [France] ; Emmanuel Sorbets [France] ; Laurent J. Feldman [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Gregory Ducrocq [France] | Screening for coronary artery disease in asymptomatic individuals: Why and how? |
000751 |
Athanase Benetos [France] ; Patrick Rossignol [France] ; Antonio Cherubini [Italie] ; Laure Joly [France] ; Tomasz Grodzicki [Pologne] ; Chakravarthi Rajkumar [Royaume-Uni] ; Timo E. Strandberg [Finlande] ; Mirko Petrovic [Belgique] | Polypharmacy in the Aging Patient: Management of Hypertension in Octogenarians. |
000789 |
Didier Galmiche [France] ; David Pym [Royaume-Uni] | Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation |
000958 |
Nicolas Jay [France] ; Mathieu D'Aquin [Royaume-Uni] ; Illaria Tiddi [Royaume-Uni] | Proceedings of the Workshop on Linked Data for Knowledge Discovery (LD4KD 2014) |
000A63 |
Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France] | Towards Conflict-Driven Learning for Virtual Substitution |
000A95 |
Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
000B28 |
Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | Subcubic triangle-free graphs have fractional chromatic number at most $14/5$ |
000C74 |
Pierre-Frédéric Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni] | Toward a Realistic Simulation of Organ Dissection |
000D45 |
Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni] | On the definability of simulation and bisimulation in epistemic logic |
000D56 |
Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni] | Knowledge and Gossip |
000D76 |
Myrto Arapinis [Royaume-Uni] ; Marie Duflot [France] | Bounding messages for free in security protocols – extension to various security properties |
000D91 |
Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni] | A Framework for Epistemic Gossip Protocols |
000D95 |
Pierre-Frederic Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni] | Toward a realistic simulation of organ dissection. |
000E21 |
Jan Van Den Heuvel [Royaume-Uni] ; Daniel Král' [Royaume-Uni] ; Martin Kupec [République tchèque] ; Jean-Sébastien Sereni [République tchèque, France] ; Jan Volec [République tchèque, Royaume-Uni] | Extensions of Fractional Precolorings Show Discontinuous Behavior |
000E53 |
Konstantin Korovin [Royaume-Uni] ; Marek Kosta [France] ; Thomas Sturm [France] | Towards Conflict-Driven Learning for Virtual Substitution |
000E61 |
Hans Van Ditmarsch [France] ; Jie Fan [République populaire de Chine] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] | Some Exponential Lower Bounds on Formula-size in Modal Logic |
000E67 |
Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] | On the relative succinctness of modal logics with union, intersection and quantification |
000E74 |
Katherine Edwards [États-Unis] ; Jan Van Den Heuvel [Royaume-Uni] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France] | Extension from Precoloured Sets of Edges |
000F04 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | The Second 'CHiME' Speech Separation and Recognition Challenge: An overview of challenge systems and outcomes |
000F30 |
Paul Bedaride [France] ; Augustin Degomme [France] ; Stéphane Genaud [France] ; Arnaud Legrand [France] ; George Markomanolis [France] ; Martin Quinson [France] ; Mark Stillwell [Royaume-Uni] ; Frédéric Suter [France] ; Brice Videau [France] | Toward Better Simulation of MPI Applications on Ethernet/TCP Networks |
000F35 |
Nicolas Jay [France] ; Mathieu D'Aquin [Royaume-Uni] | Linked Data and Online Classifications to Organise Mined Patterns in Patient Data |
000F48 |
Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | Deduction Soundness: Prove One, Get Five for Free |
001040 |
Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
001045 |
Ingmar Steiner [Allemagne] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France] | Speech animation using electromagnetic articulography as motion capture data |
001077 |
Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Eric Kow [Royaume-Uni] | The KBGen Challenge |
001102 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
001170 |
Dominique Méry [France] ; Mike Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
001177 |
Dobrina Boltcheva [France] ; Eric Casella [Royaume-Uni] ; Rémy Cumont [France] ; Franck Hétroy [France] | A spectral clustering approach of vegetation components for describing plant topology and geometry from terrestrial waveform LiDAR data |
001199 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | Overview of the 2nd 'CHiME' Speech Separation and Recognition Challenge |
001214 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [Italie] ; Marco Matassoni [Italie] | The second 'CHiME' Speech Separation and Recognition Challenge: Datasets, tasks and baselines |
001229 |
Franck Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] ; Evelyne Lutton [France] | Automatic tuning of respiratory model for patient-based simulation |
001230 |
Paul Bedaride [France] ; Stéphane Genaud [France] ; Augustin Degomme [France] ; Arnaud Legrand [France] ; George Markomanolis [France] ; Martin Quinson [France] ; Mark Stillwell [Royaume-Uni] ; Frédéric Suter [France] ; Brice Videau [France] | Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support |
001253 |
Mathieu D'Aquin [Royaume-Uni] ; Nicolas Jay [France] | Interpreting data mining results with linked data for learning analytics: motivation, case study and directions |
001278 |
Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
001279 |
Mathieu D'Aquin [Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France] | Decentralized case-based reasoning and Semantic Web technologies applied to decision support in oncology |
001316 |
Jon Barker [Royaume-Uni] ; Emmanuel Vincent [France] ; Ning Ma [Royaume-Uni] ; Heidi Christensen [Royaume-Uni] ; Phil Green [Royaume-Uni] | The PASCAL CHiME Speech Separation and Recognition Challenge |
001317 |
Jon Barker [Royaume-Uni] ; Emmanuel Vincent [France] | Special Issue on Speech Separation and Recognition in Multisource Environments |
001356 |
Francisco J. Cazorla [Espagne] ; Eduardo Quinones [Espagne] ; Tullio Vardanega [Italie] ; Liliana Cucu-Grosjean [France] ; Benoit Triquet [France] ; Guillem Bernat [Royaume-Uni] ; E. Berger [Espagne] ; Jaume Abella [Espagne] ; Franck Wartel [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Leonidas Kosmidis [Espagne] ; Codé Lo [France] ; Dorin Maxim [France] | PROARTIS: Probabilistically Analyzable Real-Time System |
001357 |
Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas] | On the succinctness of some modal logics |
001366 |
Thomas Nowotny [Royaume-Uni] ; Jean-Pierre Rospars [France] ; Dominique Martinez [France] ; Shereen Elbanna [France] ; Sylvia Anton [France] | Machine Learning for Automatic Prediction of the Quality of Electrophysiological Recordings |
001367 |
Pierre-Frédéric Villard [France] ; Franck P. Vidal [Royaume-Uni] ; Llyr Ap Cenydd [Royaume-Uni] ; Richard Holbrey [Royaume-Uni] ; S. Pisharody [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Andy Bulpitt [Royaume-Uni] ; Nigel W. John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek A. Gould [Royaume-Uni] | Interventional radiology virtual simulator for liver biopsy |
001376 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
001377 |
Hans Van Ditmarsch [France] ; Wiebe Hoek [Royaume-Uni] ; Ji Ruan [France] | Connecting dynamic epistemic and temporal epistemic logics |
001378 |
Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
001400 |
Nicolas Jay [France] ; Mathieu D Quin [Royaume-Uni] | Linked Data and Online Classifications to Organise Mined Patterns in Patient Data |
001413 |
Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne] | Effect of lower sodium intake on health: systematic review and meta-analyses |
001414 |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
001456 |
Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints |
001481 |
Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France, République tchèque] ; Jan Volec [Royaume-Uni, République tchèque] | Subcubic triangle-free graphs have fractional chromatic number at most 14/5 |
001482 |
Joël Ouaknine [Royaume-Uni] | Specification and Verification of Linear Dynamical Systems: Advances and Challenges |
001530 |
Konstantin Korovin [Royaume-Uni] | Non-cyclic Sorts for First-Order Satisfiability |
001538 |
Lawrence C. Paulson [Royaume-Uni] | MetiTarski’s Menagerie of Cooperating Systems |
001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001561 |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-Based Parsing Using GLL and Tom |
001570 |
Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms |
001572 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Ideal Mode Selection of a Cardiac Pacing System |
001580 |
Konstantin Korovin [Royaume-Uni] | From Resolution and DPLL to Solving Arithmetic Constraints |
001582 |
Dominique Méry [France] ; Michael Poppleton [Royaume-Uni] | Formal Modelling and Verification of Population Protocols |
001595 |
Giacomo Bonanno [États-Unis] ; Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek [Royaume-Uni] | Editorial Introduction to the Special Issue LOFT Sevilla |
001606 |
Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni] | Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders |
001612 |
Björn Lellmann [Royaume-Uni] ; Dirk Pattinson [Royaume-Uni, Australie] | Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 |
001615 |
Fabio Papacchini [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] | Computing Minimal Models Modulo Subset-Simulation for Modal Logics |
001624 |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Closed-Loop Modeling of Cardiac Pacemaker and Heart |
001661 |
Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni] | A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ |
001662 |
Tom Gundersen [France, Norvège] ; Willem Heijltjes [Royaume-Uni] ; Michel Parigot [France] | A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus |
001731 |
Davide Grossi [Royaume-Uni] | Abstract argument games via modal logic |
001785 |
Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | A note on acyclic vertex-colorings |
001859 |
Dorin Maxim [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Guillem Bernat [Royaume-Uni] ; Robert Davis [Royaume-Uni] ; Liliana Cucu [France] | Re-Sampling for Statistical Timing Analysis of Real-Time Systems |
001919 |
Franck Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France] ; Evelyne Lutton [France] | Tuning of patient specific deformable models using an adaptive evolutionary optimization strategy |
001926 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | Measuring Vote Privacy, Revisited. |
001935 |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-based Parsing using GLL and Tom |
001943 |
Ingmar Steiner [Irlande (pays)] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France] | Using multimodal speech production data to evaluate articulatory animation for audiovisual speech synthesis |
001945 |
Sylvain Contassot-Vivier [France] ; David Elizondo [Royaume-Uni] | A near linear algorithm for testing linear separability in two dimensions |
001951 |
Georgoulas Stylianos [Royaume-Uni] ; Rémi Badonnel [France] ; Barrere Martin [France] ; Festor Olivier [France] | Adaptation of Learning and Operation Methods to Specific Needs of Future Networks and Services (Deliverable 3.7, Univerself) |
001971 |
Daniel Král' [Royaume-Uni] ; Lukáš Mach [Royaume-Uni] ; Jean-Sébastien Sereni [France] | A New Lower Bound Based on Gromov's Method of Selecting Heavily Covered Points |
001A11 |
Sarra Ben Abbès [France] ; Andreas Scheuermann [Allemagne] ; Thomas Meilender [France] ; Mathieu D'Aquin [Royaume-Uni] | Characterizing Modular Ontologies |
001A49 |
Liliana Cucu-Grosjean [France] ; Luca Santinelli [France] ; Michael Houston [Royaume-Uni] ; Codé Lo [France] ; Tullio Vardanega [Italie] ; Leonidas Kosmidis [Espagne] ; Jaume Abella [Espagne] ; Enrico Mezzeti [Italie] ; Eduardo Quinones [Espagne] ; Francisco J. Cazorla [Espagne] | Measurement-Based Probabilistic Timing Analysis for Multi-path Programs |
001B08 |
Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Donia Scott [Royaume-Uni] ; Nikhil Dinesh [États-Unis] ; Fennie Linag [Royaume-Uni] | KBGen - Text Generation for Knowledge Bases as a New Shared Task |
001C35 |
Pierre-Frédéric Villard [France] ; Franck Vidal [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Nigel John [Royaume-Uni] | A Method to Compute Respiration Parameters for Patient-based Simulators |
001C44 |
Francisco J. Cazorla [Espagne] ; Eduardo Quinones [Espagne] ; Tullio Vardanega [Italie] ; Liliana Cucu-Grosjean [France] ; Benoit Triquet [France] ; Guillem Bernat [Royaume-Uni] ; Emery Berger [Espagne] ; Jaume Abella [Espagne] ; Franck Wartel [France] ; Michael Houston [Royaume-Uni] ; Luca Santinelli [France] ; Leonidas Kosmidis [Espagne] ; Codé Lo [France] ; Dorin Maxim [France] | PROARTIS: Probabilistically Analysable Real-Time Systems |
001C76 |
Alexandre Grémiaux [France] ; Thomas Nowotny [Royaume-Uni] ; Dominique Martinez [France] ; Philippe Lucas [France] ; Jean-Pierre Rospars [France] | Modelling the signal delivered by a population of first-order neurons in a moth olfactory system |
001C97 |
Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
001D33 |
Richard Ingham [Royaume-Uni] | Syntaxe et valeur discursive de la construction et VS en anglo-normand par rapport au français du continent |
001E09 |
Robert Chiesa ; Kimberly Gilmour ; Waseem Qasim ; Stuart Adams ; Austen J. J. Worth ; Hong Zhan ; Claudia A. Montiel-Equihua ; Sophie Derniame ; Catherine Cale ; Kanchan Rao ; Prashant Hiwarkar ; Rachel Hough ; Aurore Saudemont [Royaume-Uni] ; Cristián S. Fahrenkrog [Royaume-Uni, Chili] ; Nick Goulden [Royaume-Uni] ; Persis J. Amrolia ; Paul Veys | Omission of in vivo T‐cell depletion promotes rapid expansion of naïve CD4+ cord blood lymphocytes and restores adaptive immunity within 2 months after unrelated cord blood transplant |
001E13 |
Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni] | Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus |
001E31 |
Nancy H. Campbell [Royaume-Uni] ; Stephen Neidle [Royaume-Uni] | G-Quadruplexes and Metal Ions |
001E48 |
W. B. Langdon [Royaume-Uni] | Creating and Debugging Performance CUDA C |
001E95 |
David W. Ritchie [France] ; Anisah W. Ghoorah [France] ; Lazaros Mavridis [Royaume-Uni] ; Vishwesh Venkatraman [Norvège] | Fast protein structure alignment using Gaussian overlap scoring of backbone peptide fragment similarity |
001F35 |
Jan Van Den Heuvel [Royaume-Uni] ; Daniel Král' [Royaume-Uni] ; Martin Kupec [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni] | Extensions of Fractional Precolorings show Discontinuous Behavior |
001F36 |
Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark Watkins | Explicit methods in number theory. Rational points and Diophantine equations. |
001F43 |
Lu Yue [Suède] ; Thomas Nolte [Suède] ; Ian Bate [Royaume-Uni] ; Liliana Cucu-Grosjean [France] | A statistical response-time analysis of real-time embedded systems |
001F45 |
Daniel Král' [Royaume-Uni] ; Chun-Hung Liu [États-Unis] ; Jean-Sébastien Sereni [France] ; Peter Whalen [États-Unis] ; Zelealem Yilma [France] | A new bound for the 2/3 conjecture |
002046 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | A Composable Computational Soundness Notion |
002083 |
Dorin Maxim [France] ; Olivier Buffet [France] ; Luca Santinelli [France] ; Liliana Cucu-Grosjean [France] ; Rob Davis [Royaume-Uni] | On the Optimality of Priority Assignment for Probabilistic Real-Time Systems |
002132 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Ben Smyth [France] ; Bogdan Warinschi [Royaume-Uni] | Adapting Helios for provable ballot secrecy |
002146 |
Dawood Khan [France] ; Robert Davis [Royaume-Uni] ; Nicolas Navet [France] | Schedulability Analysis of CAN with Non-abortable Transmission Requests |
002154 |
Lu Yue [Suède] ; Thomas Nolte [Suède] ; Ian Bate [Royaume-Uni] ; Liliana Cucu-Grosjean [France] | A New Way about using Statistical Analysis of Worst-Case Execution Times |
002434 |
Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore Zahariadis | Future Media Internet Architecture Reference Model (v1.0) |
002467 |
Niels Hald [Royaume-Uni] ; Sudip K. Sarker [Royaume-Uni] ; Paul Ziprin [Royaume-Uni] ; Pierre-Frédéric Villard [Royaume-Uni] ; Fernando Bello [Royaume-Uni] | Open surgery simulation of inguinal hernia repair. |
002493 |
Sheena Johnson [Royaume-Uni] ; Carianne Hunt [Royaume-Uni] ; Helen Woolnough [Royaume-Uni] ; Martin Crawshaw [Royaume-Uni] ; Caroline Kilkenny [Royaume-Uni] ; Derek Gould [Royaume-Uni] ; Amrita Sinha [Royaume-Uni] ; Andrew England [Royaume-Uni] ; Pierre-Frédéric Villard [Royaume-Uni] | Virtual Reality, Ultrasound-guided Liver Biopsy Simulator: Development and Performance Discrimination |
002551 |
Hana Belmabrouk [France] ; Thomas Nowotny [Royaume-Uni] ; Jean-Pierre Rospars [France] ; Dominique Martinez [France] | Interaction of cellular and network mechanisms for efficient pheromone coding in moths |
002556 |
Andrei Zavada [Royaume-Uni] ; Christopher L. Buckley [Royaume-Uni] ; Dominique Martinez [France] ; Jean-Pierre Rospars [France] ; Thomas Nowotny [Royaume-Uni] | Competition-Based Model of Pheromone Component Ratio Detection in the Moth |
002609 |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
002625 |
Moussa Ouedraogo [Luxembourg (pays), Royaume-Uni] ; Reijo M. Savola [Finlande] ; Haralambos Mouratidis [Royaume-Uni] ; David Preston [Royaume-Uni] ; Djamel Khadraoui [Luxembourg (pays)] ; Eric Dubois [Luxembourg (pays)] | Taxonomy of quality metrics for assessing assurance of security correctness |
002669 |
Massimo Poesio [Royaume-Uni] ; Nils Diewald [Allemagne] ; Maik Stührenberg [Allemagne] ; Jon Chamberlain [Royaume-Uni] ; Daniel Jettka [Allemagne] ; Daniela Goecke [Allemagne] ; Udo Kruschwitz [Royaume-Uni] | Markup Infrastructure for the Anaphoric Bank: Supporting Web Collaboration |
002674 |
Benjamin Raynal [Royaume-Uni] ; Michel Couprie [Royaume-Uni] | Isthmus-Based 6-Directional Parallel Thinning Algorithms |
002675 |
Shahriar Bijani [Royaume-Uni] ; David Robertson [Royaume-Uni] | Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems |
002680 |
Bénédicte Héron [France] ; Yann Mikaeloff [France] ; Roseline Froissart [France] ; Guillaume Caridade [France] ; Irène Maire [France] ; Catherine Caillaud [France] ; Thierry Levade [France] ; Brigitte Chabrol [France] ; François Feillet [France] ; Hélène Ogier [France] ; Vassili Valayannopoulos [France] ; Helen Michelakakis [Grèce] ; Dimitrios Zafeiriou [Grèce] ; Lucy Lavery [Royaume-Uni] ; Ed Wraith [Royaume-Uni] ; Olivier Danos [France] ; Jean-Michel Heard [France] ; Marc Tardieu [France] | Incidence and natural history of mucopolysaccharidosis type III in France and comparison with United Kingdom and Greece |
002709 |
Nikolay Mehandjiev [Royaume-Uni] ; Antonella De Angeli [Royaume-Uni, Italie] ; Usman Wajid [Royaume-Uni] ; Abdallah Namoun [Royaume-Uni] ; Alberto Battocchi [Italie] | Empowering End-Users to Develop Service-Based Applications |
002778 |
Dalila Mekhaldi [Royaume-Uni] ; Denis Lalanne [Suisse] ; Rolf Ingold [Suisse] | A multimodal alignment framework for spoken documents |
002792 |
Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
002806 |
Gaetano Mangiapia [Italie] ; Gerardino D'Errico [Italie] ; Fabio Capuano [Italie] ; Ornella Ortona [Italie] ; Richard K. Heenan [Royaume-Uni] ; Luigi Paduano [Italie] ; Roberto Sartorio [Italie] | On the interpretation of transport properties of sodium cholate and sodium deoxycholate in binary and ternary aqueous mixtures |
002828 |
Pierre-Frédéric Villard [France] ; Piers Boshier [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek Gould [Royaume-Uni] | Virtual Reality Simulation of Liver Biopsy with a Respiratory Component |
002830 |
Lu Yue [Suède] ; Ian Bate [Royaume-Uni] ; Thomas Nolte [Suède] ; Liliana Cucu-Grosjean [France] | Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems |
002B70 |
Franck Vidal [États-Unis] ; Pierre-Frédéric Villard [Royaume-Uni] ; Manuel Garnier [France] ; Nicolas Freud [France] ; J. M. Létang [France] ; Nigel John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] | Joint Simulation of Transmission X-ray Imaging on GPU and Patient's Respiration on CPU |
002D12 |
Jacques Saadé [France] ; Anne-Laure Didier [France] ; Pierre-Frédéric Villard [Royaume-Uni] ; Romain Buttin [France] ; Jean-Michel Moreau [France] ; Michael Beuve [France] ; Behzad Shariat [France] | A Preliminary Study For A Biomechanical Model Of The Respiratory System |
002D13 |
Madhumita V. Joshi [Royaume-Uni, États-Unis] ; Stefan G. Mann [Royaume-Uni] ; Haike Antelmann [Royaume-Uni] ; David Widdick [Royaume-Uni] ; Joanna K. Fyans [Royaume-Uni] ; Govind Chandra [Royaume-Uni] ; Matthew I. Hutchings [Royaume-Uni] ; Ian Toth [Royaume-Uni] ; Michael Hecker [Royaume-Uni] ; Rosemary Loria [Royaume-Uni, États-Unis] ; Tracy Palmer [Royaume-Uni] | The Tat pathway exports multiple virulence proteins in the plant pathogen Streptomyces scabies |
002D32 |
Jens Kerber [Allemagne] ; Art Tevs [Allemagne] ; Rhaleb Zayer [France] ; Alexander Belyaev [Royaume-Uni] ; Hans-Peter Seidel [Allemagne] | Real-time Generation of Digital Bas-Reliefs |
002F26 |
Gary Macindoe [Royaume-Uni] ; Lazaros Mavridis ; Vishwesh Venkatraman ; Marie-Dominique Devignes [France] ; David W. Ritchie | HexServer: an FFT-based protein docking server powered by graphics processors |
002F42 |
Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni] | Multimodal and intuitionistic logics in simple type theory |
002F47 |
John Mckeane [Royaume-Uni] | French Interpretations of Heidegger: An Exceptional Reception |
003063 |
Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni] | Intersection Type Systems and Explicit Substitutions Calculi |
003108 |
John Fitzgerald [Royaume-Uni] ; Peter Gorm Larsen [Danemark] ; Ken Pierce [Royaume-Uni] ; Marcel Verhoef [Pays-Bas] ; Sune Wolff [Danemark] | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems |
003119 |
Alvaro E. Arenas [Royaume-Uni] ; Benjamin Aziz [Royaume-Uni] ; Juan Bicarregui [Royaume-Uni] ; Michael D. Wilson [Royaume-Uni] | An Event-B Approach to Data Sharing Agreements |
003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003127 |
Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
003132 |
Paola Bruscoli [Royaume-Uni, France] ; Alessio Guglielmi [Royaume-Uni, France] ; Tom Gundersen [Royaume-Uni, France] ; Michel Parigot [France] | A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae |
003316 |
Amrita Sinha [Royaume-Uni] ; Karen T. Flood [Royaume-Uni] ; David Kessel [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Carianne Hunt [Royaume-Uni] ; Helen Woolnough [Royaume-Uni] ; Franck Vidal [États-Unis] ; Pierre-Frédéric Villard [Royaume-Uni] ; Richard Holbray [Royaume-Uni] ; Martin Crawshaw [Royaume-Uni] ; Andrew Bulpitt [Royaume-Uni] ; Nigel John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Roger Phillips [Royaume-Uni] ; Derek Gould [Royaume-Uni] | The Role of Simulation in Medical Training and Assessment |
003344 |
Pierre-Frédéric Villard [Royaume-Uni] ; Franck P. Vidal [Royaume-Uni] ; Carrie Hunt [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Nigel W. John [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Derek A. Gould [Royaume-Uni] | A prototype percutaneous transhepatic cholangiography training simulator with real-time breathing motion |
003346 |
Pierre-Frédéric Villard [Royaume-Uni] ; Wesley Bourne [Royaume-Uni] ; Fernando Bello [Royaume-Uni] | Interactive Simulation of Diaphragm Motion Through Muscle and Rib Kinematics |
003391 |
Amrita Sinha [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Carianne Hunt [Royaume-Uni] ; Helen Woolnough [Royaume-Uni] ; Franck Vidal [États-Unis] ; Nigel John [Royaume-Uni] ; Pierre-Frédéric Villard [Royaume-Uni] ; Richard Holbray [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek Gould [Royaume-Uni] | Importance of virtual reality simulators in interventional radiology: the ImaGiNe-S CIRSE 2008 experience |
003642 |
Violeta Perez-Nueno ; Sofia Pettersson ; David Ritchie [Royaume-Uni] ; Jose Borrell ; Jordi Teixido | Discovery of Novel HIV Entry Inhibitors for the CXCR4 Receptor by Prospective Virtual Screening |
003669 |
Oana Andrei [Royaume-Uni] ; Helene Kirchner [France] | A Port Graph Calculus for Autonomic Computing and Invariant Verification |
003755 |
Hala Naja-Jazzar [Liban] ; Nishadi Desilva [Royaume-Uni] ; Hala Skaf-Molli [France] ; Charbel Rahhal [France] ; Pascal Molli [France] | OntoRest: A RST-based Ontology for Enhancing Documents Content Quality in Collaborative Writing |
003871 |
Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni] | Validating and Animating Higher-Order Recursive Functions in B |
003874 |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Andreas Spillner [Royaume-Uni] ; Alexander Wolff [Pays-Bas] | Untangling a Planar Graph |
003944 |
Eric Jul [Danemark] ; Ian Rogers [Royaume-Uni] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
003946 |
Serena Ferraresso [Italie] ; Heiner Kuhl [Allemagne] ; Massimo Milan [Italie] ; David W. Ritchie [France] ; Christopher J. Secombes [Royaume-Uni] ; Richard Reinhardt [Allemagne] ; Luca Bargelloni [Italie] | Identification and characterisation of a novel immune-type receptor (NITR) gene cluster in the European sea bass, Dicentrarchus labrax , reveals recurrent gene expansion and diversification by positive selection |
003998 |
Rob J. Thomas ; David Anderson [Royaume-Uni] ; Amit Chandra ; Nigel M. Smith [Royaume-Uni] ; Lorraine E. Young [Royaume-Uni] ; David Williams ; Chris Denning [Royaume-Uni] | Automated, scalable culture of human embryonic stem cells in feeder‐free conditions |
003A21 |
Simon Kramer [France, Suisse] ; Julian C. Bradfield [Royaume-Uni] | A general definition of malware |
003A24 |
Christophe Denis [Royaume-Uni] ; Raphael Couturier [France] ; Fabienne Jézéquel [France] | A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment |
003A30 |
Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni] | A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types |
003B69 |
Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie] | Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis |
003D12 |
Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
003D82 |
Fadi Badra [France] ; Mathieu D'Aquin [Royaume-Uni] ; Jean Lieber [France] ; Thomas Meilender [France] | Edhibou: a Customizable Interface for Decision Support in a Semantic Portal |
004172 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 |
004224 |
Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni] | Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study |
004330 |
Mark-Jan Nederhof [Royaume-Uni] ; Giorgio Satta [Italie] | Probabilistic Parsing |
004346 |
Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki | Observability Concepts in Abstract Data Type Specification, 30 Years Later |
004362 |
P. Chapelle [France] ; R. M. Ward [Royaume-Uni] ; A. Jardy [France] ; V. Weber [France, Luxembourg (pays)] ; J. P. Bellot [France] ; M. Minvielle [France] | Lateral Boundary Conditions for Heat Transfer and Electrical Current Flow during Vacuum Arc Remelting of a Zirconium Alloy |
004375 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
004415 |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-avoiding substitution as a nominal algebra |
004587 |
Mathieu D'Aquin [Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France] | Decision support systems in oncology: Are we there yet? |
004656 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Nishadi Desilva [Royaume-Uni] | SemCW: Semantic Collaborative Writing using RST |
004753 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthetizing secure protocols |
004764 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
004847 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
004848 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
004992 |
Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-based Key Management Schemes. |
004A16 |
Mathieu D'Aquin [Royaume-Uni] ; Fadi Badra [France] ; Sandrine Lafrogne [France] ; Jean Lieber [France] ; Amedeo Napoli [France] ; Laszlo Szathmary [France] | Case Base Mining for Adaptation Knowledge Acquisition |
004A97 |
James M. Wilkins [Royaume-Uni] ; Lorraine Southam [Royaume-Uni] ; Andrew J. Price [Royaume-Uni] ; Zehra Mustafa [Royaume-Uni] ; Andrew Carr [Royaume-Uni] ; John Loughlin [Royaume-Uni] | Extreme context specificity in differential allelic expression |
004B74 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Z Linescu [France] | Synthesizing Secure Protocols |
004B92 |
Mary Cryan [Royaume-Uni] | REVIEWS |
004B98 |
Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni] | Preface |
004C09 |
R. A. Snowdon [Royaume-Uni] ; B. C. Warboys [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; C. P. Holland [Royaume-Uni] ; P. J. Kawalek [Royaume-Uni] ; D. R. Shaw [Royaume-Uni] | On the architecture and form of flexible process support |
004C15 |
Rick Nouwen [Royaume-Uni] | On Dependency and Quantification in Dynamic Semantics |
004C22 |
Alexandre Beautrait [France] ; Vincent Leroux [France] ; Matthieu Chavent [France] ; Léo Ghemtio [France] ; Marie-Dominique Devignes [France] ; Malika Smaïl-Tabbone [France] ; Wensheng Cai [République populaire de Chine] ; Xuegang Shao [République populaire de Chine] ; Gilles Moreau [France] ; Peter Bladon [Royaume-Uni] ; Jianhua Yao [République populaire de Chine] ; Bernard Maigret [France] | Multiple-step virtual screening using VSM-G: overview and validation of fast geometrical matching enrichment |
004C27 |
Jean Lieber [France] ; Mathieu D Quin [France, Royaume-Uni] ; Fadi Badra [France] ; Amedeo Napoli [France] | Modeling adaptation of breast cancer treatment decision protocols in the Kasimir project |
004C76 |
Clara Bertolissi [France, Royaume-Uni] ; Maribel Fernández [Royaume-Uni] ; Steve Barker [Royaume-Uni] | Dynamic Event-Based Access Control as Term Rewriting |
004D01 |
Véronique Cortier [France] ; Gavin Keighren [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-Based Key Management Schemes |
004D29 |
Emmanuel Bresson ; Yassine Lakhnech [France] ; Laurent Mazaré ; Bogdan Warinschi [Royaume-Uni] | A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness |
004E26 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthesizing secure protocols |
004E35 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] ; Nishadi Desilva [Royaume-Uni] | SemCW: Semantic Collaborative Writing using RST |
004E50 |
Olivier Festor ; Frédéric Beck [France] ; Mark Burgess ; Emil Lupu [Royaume-Uni] ; George Pavlou ; Juergen Schoenwaelder ; Robert Szuman [Pologne] ; Rolf Stadler [Suède] ; Vincent Cridlig [France] | Open Source Support and Joint Software Development : Final Report |
004E51 |
Charbel Rahhal [France] ; Nishadi Desilva [Royaume-Uni] ; Hala Naja-Jazzar [Liban] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | OntoReST: A RST-based Ontology for Maintaining Semantic Consistency in Collaborative Writing |
004E76 |
Zalinescu Eugen [France] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | From passive to active security via a simple transformation |
004F03 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
004F52 |
Nishadi De-Silva [Royaume-Uni] ; Hala Skaf-Molli [France] | Narratives to preserve coherence in collaborative writing |
005012 |
Mathieu D'Aquin [Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France] | Case-Based Reasoning Within Semantic Web Technologies |
005045 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France] | From functional programs to interaction nets via the Rewriting Calculus |
005053 |
Véronique Cortier [France] ; Graham Steel [Royaume-Uni] | On the Decidability of a Class of XOR-based Key-management APIs |
005060 |
Joseph Le Roux [France] ; Benoît Crabbé [Royaume-Uni] ; Yannick Parmentier [France] | A constraint driven metagrammar |
005164 |
Yannick Parmentier [France] ; Joseph Le Roux [France] ; Benoît Crabbé [Royaume-Uni] | XMG - An expressive formalism for describing tree-based grammars |
005265 |
Carole Bernon [France] ; Vincent Chevrier [France] ; Vincent Hilaire [France] ; Paul Marrow [Royaume-Uni] | Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison |
005380 |
Steve Barker [Royaume-Uni] ; Maribel Fernández [Royaume-Uni] | Term Rewriting for Access Control |
005384 |
Sarah Roberts [Royaume-Uni] ; Nancy Khammo [Royaume-Uni] ; Gerald Mcdonnell [Royaume-Uni] ; Graham J. Sewell [Royaume-Uni] | Studies on the decontamination of surfaces exposed to cytotoxic drugs in chemotherapy workstations |
005413 |
Ian James [Royaume-Uni] | Phenomenology in Diaspora |
005430 |
Dimitrios Tektonidis [Grèce] ; Albert Bokma [Royaume-Uni] ; Giles Oatley [Royaume-Uni] ; Michael Salampasis [Grèce] | ONAR: An Ontologies-based Service Oriented Application Integration Framework |
005434 |
C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie] | Navigation help in 3D worlds: some empirical evidences on use of sound |
005461 |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
005487 |
David H. Akehurst [Royaume-Uni] | Experiment in Model Driven Validation of BPEL Specifications |
005524 |
Mathieu D Quin [France, Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France] | Case-Based Reasoning Within Semantic Web Technologies |
005525 |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-Avoiding Substitution as a Nominal Algebra |
005543 |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
005620 |
Mathieu D'Aquin [France, Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France] | Case-based reasoning within semantic web technologies |
005693 |
Olivier Festor [France] ; Mark Burgess [Norvège] ; Vincent Cridlig [France] ; Robert Szuman [Pologne] ; Emil Lupu [Royaume-Uni] ; George Pavlou [Royaume-Uni] ; Juergen Schoenwaelder [Allemagne] | Deliverable D6.1 - Open source support & joint software development interim report |
005766 |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni] | Handbook of Modal Logic |
006113 |
D. Galmiche [France] ; D. Méry [France] ; D. Pym [Royaume-Uni, France] | The semantics of BI and resource tableaux |
006115 |
M. Fernández [Royaume-Uni] ; I. Mackie [Royaume-Uni] ; F-R. Sinot [Royaume-Uni] | Closed reduction: explicit substitutions without $\alpha$-conversion |
006172 |
Stefan Wermter [Royaume-Uni] ; Günther Palm [Allemagne] ; Cornelius Weber [Royaume-Uni] ; Mark Elshaw [Royaume-Uni] | Towards Biomimetic Neural Learning for Intelligent Robots |
006189 |
A. N. Rutstein ; H. E. Gorman [Royaume-Uni] ; K. E. Arnold [Royaume-Uni] ; L. Gilbert ; K. J. Orr [Royaume-Uni] ; A. Adam [Royaume-Uni] ; R. Nager [Royaume-Uni] ; J. A. Graves | Sex allocation in response to paternal attractiveness in the zebra finch |
006217 |
Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni] | Ordered Resolution with Selection for $\mathcal{H}(@)$ |
006240 |
Maribel Fernández [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France] | Lambda-Calculus with Director Strings |
006285 |
Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni] | Combining Lists with Non-stably Infinite Theories |
006381 |
Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France] | A primitive trinomial of degree 6972593 |
006469 |
Norbert Müller ; Martin Escardo [Royaume-Uni] ; Paul Zimmermann [France] | Special issue on practical development of exact real number computation |
006536 |
Tim Chown [Royaume-Uni] ; Mark Thompson [Royaume-Uni] ; Alan Ford [Royaume-Uni] ; Stig Venaas [Royaume-Uni] ; Christian Schild [Italie] ; Christian Strauf [Italie] ; Thorsten Kuefer [Italie] ; Frédéric Beck [France] ; Olivier Festor [France] ; Bartek Gajda [Pologne] | D3.6.1: Cookbook for IPv6 Renumbering in SOHO and Backbone Networks |
006A44 |
Gertrud Aub-Buscher [Royaume-Uni] | Treffers-Daller, Jeanine and Willemyns, Ronald (eds.), Language Contact at the Romance-Germanic Language Border. Clevedon/Buffalo/Toronto/Sydney: Multilingual Matters, 2002, 149 pp. 1 85359 627 2. (Also available as Volume 23, Nos 1&2 of the Journal of Multilingual and Multicultural Development.) |
006A49 |
Margaret Jubb [Royaume-Uni] | Price, Glanville, A Comprehensive French Grammar, Fifth edition. Oxford: Blackwell, 2003, xix + 584 pp. 0 631 23563 9 |
006A51 |
Elspeth Broady [Royaume-Uni] | Morton, Jacqueline, English Grammar for Students of French. London: Arnold, 2002, v + 194 pp. 0 3408 0913 2. (Fifth edition. Originally published in the United States of America by The Olivia and Hill Press.) |
006A52 |
Marie-Christine Press [Royaume-Uni] | Majumdar, Margaret A. (ed.), Francophone Studies. The Essential Glossary. London: Arnold, 2002, xxiii + 280 pp. 0 340 80697 4 |
006A53 |
Jean-Marc Dewaele [Royaume-Uni] | Lüdi, Georges et Py, Bernard, Etre bilingue. Bern: Peter Lang, 2002, pp. 3 906766 63 2 (2e édition revue) |
006A55 |
Leigh Oakes [Royaume-Uni] | Larrivée Pierre (ed.), Linguistic Conflict and Language Laws: Understanding the Quebec Question. Basingstoke and New York: Palgrave Macmillan, 2003, xi + 204 pp. 0 333 96899 9 |
006A57 |
Stephen F. Noreiko [Royaume-Uni] | Harrap's, Pardon my French! pocket French slang dictionary. French–English/English–French. Edinburgh: Harrap, 2003, xvi + 143 + 154 pp. 0 245 60720 X |
006A58 |
Stephen F. Noreiko [Royaume-Uni] | Harrap's, Business dictionary/dictionnaire. Edinburgh: Harrap, 2003, xii + 296 + (62) E–F + 266 + (52) F–E + (xvi) pp. 0 245 60714 5 Harrap's, Mini dictionary/dictionnaire. Edinburgh: Harrap, 2003, xvi + 374 E–F + (24) + 322 F–E pp. 0 245 60716 1 |
006A59 |
Nigel Armstrong [Royaume-Uni] | Hansen, Anita Berit and Hansen, Maj-Brit Mosegaard (eds.), Structures linguistiques et interactionnelles dans le français parlé. Actes du Colloque international, Université de Copenhague du 22 au 23 juin 2001. (Etudes Romanes 54). Copenhagen: Museum Tusculanum Press, 2003, 200 pp. 87 7289 819 4 (pbk) |
006A60 |
D. A. Trotter [Royaume-Uni] | Chauveau, Jean-Paul (ed.), Französisches Etymologisches Wörterbuch, fascs. 161–162, tome XXV (refonte du tome 1er): autós – azymus; ‘Corrigenda des tomes 24 et 25’, pp. 1153–1380 (2002). Bâle: Zbinden. Jean-Pierre Chambon, ‘Préface’ to 23. Band: Materialien unbekannten oder unsicheren ursprungs, vi pp. (2002). Basel: Zbinden |
006B18 |
Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni] | TeMP : A Temporal Monodic Prover |
006B52 |
Carsten Lutz [Allemagne] ; Dirk Walther [Royaume-Uni] | PDL with Negation of Atomic Programs |
006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
006C01 |
Jia Meng [Royaume-Uni] ; Lawrence C. Paulson [Royaume-Uni] | Experiments on Supporting Interactive Proof Using Resolution |
006C06 |
Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni] | Efficient Checking of Term Ordering Constraints |
006C34 |
Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
006C35 |
Graham Steel [Royaume-Uni] ; Alan Bundy [Royaume-Uni] ; Monika Maidl [Royaume-Uni] | Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures |
006D01 |
A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni] | On an interpretation of safe recursion in light affine logic |
006D04 |
Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France] | Linear-time computation of local periods |
006D23 |
Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne] | An arithmetic for non-size-increasing polynomial-time computation |
006D31 |
Lou Burnard [Royaume-Uni] ; Laurent Romary [France] | Kompetenzzentrum für EDV-Philologie |
007896 |
Jean-Marc Dewaele [Royaume-Uni] | Pöll, Bernard, Francophonies périphériques. Histoire, statut et profil des principales variétés du français hors de France. Paris: L'Harmattan, 2001, 231 pp. 2 7475 1175 8 |
007897 |
Stephen F. Noreiko [Royaume-Uni] | Picoche, Jacqueline et Rolland, Jean-Claude, Dictionnaire du français usuel. Bruxelles: De Boeck/Duculot, 2002, 1064 pp. 2 8011 1296 8 (livre) 2 8011 1295 X (CD) |
007898 |
Penny Sewell [Royaume-Uni] | McBride, Nicole and Seago, Karen (eds.), Target culture – target language? London: AFLS/CILT, 2000, 276 pp. 1 902031 82 2 |
007899 |
Kate Beeching [Royaume-Uni] | Lindqvist, Christina; Corpus transcrit de quelques journaux télévisés français. Uppsala: Uppsala Universitet, 2001, 289 pp. 91 505 1532 7 |
007900 |
Jean E. Conacher [Royaume-Uni] | Lewis, Tim and Rouxeville, Annie (eds.), Technology and the Advanced Language Learner. (Current Issues in University Language Teaching.) London: AFLS/CILT, 2000, 260 pp. 1 902031 66 0 |
007904 |
Mari Jones [Royaume-Uni] | Hintze, Marie-Anne, Pooley, Tim and Judge, Anne (eds.), French Accents: Phonological and Sociolinguistic Perspectives. London: AFLS/CILT, 2001, 345 pp. 1 902031 95 4 |
007906 |
Anne Judge [Royaume-Uni] | Dendale, Patrick and Tasmowski, Liliane (eds.), Le conditionnel en français. (Recherches Linguistiques, 25). Metz: Université de Metz, 2001, 374 pp. 2 909498 12 3. (Diffuseur: Librairie Klincksieck, Paris) |
007907 |
Bénédicte Facques [Royaume-Uni] | De Mulder Walter, Vet Co, Vetters, Carl (eds.), Anaphores pronominales et nominales. Etudes pragma-sémantiques. Amsterdam, New York, Rodopi: 2001, 172 pp. 90 420 1267 6 |
007909 |
D. A. Trotter [Royaume-Uni] | Chauveau, Jean-Paul (ed.), Französisches Etymologisches Wörterbuch, fasc. 158, tome XXV (refonte du tome 1er): auscultare – autós, pp. 1057–1122 (2000); Chauveau, Jean-Paul, Lagueunière, France and Thibault, André (eds.), Französisches Etymologisches Wörterbuch, fasc. 159, tome XXI (2e partie): Matériaux d'origine inconnue ou incertaine: tannerie-luxe, pp.193–322 (2001); Greub, Yan, Französisches Etymologisches Wörterbuch, fasc. 160: Table des matières et index des concepts des volumes 21 à 23 [= Matériaux d'origine inconnue ou incertaine], 36 pp. (2001). Bâle: Zbinden. |
007961 |
M. C. Fairhurst [Royaume-Uni] ; R. M. Guest [Royaume-Uni] ; F. Deravi [Royaume-Uni] ; J. George [Royaume-Uni] | Using Biometrics as an Enabling Technology in Balancing Universality and Selectivity for Management of Information Access |
007966 |
1patrick Langdon [Royaume-Uni] ; Ray Adams [Royaume-Uni] ; P. John Clarkson [Royaume-Uni] | Universal Access to Assistive Technology through Client-Centred Cognitive Assessment |
007971 |
Albrecht Schmidt [Royaume-Uni] ; Martin Strohbach [Royaume-Uni] ; Kristof Van Laerhoven [Royaume-Uni] ; Gellersen Hans-W. [Royaume-Uni] | Ubiquitous Interaction — Using Surfaces in Everyday Environments as Pointing Devices |
007973 |
Be Ne Dicte Stengel ; Solenne Billon ; Paul C. W. Van Dijk [Pays-Bas] ; Kitty J. Jager [Pays-Bas] ; Friedo W. Dekker [Pays-Bas] ; Keith Simpson [Royaume-Uni] ; J. Douglas Briggs [Pays-Bas] | Trends in the incidence of renal replacement therapy for end-stage renal disease in Europe, 1990–1999 |
007A03 |
Richard P. Brent [Royaume-Uni] ; Paul Zimmermann [France] | Random Number Generators with Period Divisible by a Mersenne Prime |
007A09 |
R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Sorana Cîmpan [France] ; Graham N. C. Kirby [Royaume-Uni] ; Kath Mickan [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Flavio Oquendo [France] ; Ian Robertson [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Bob Snowdon [Royaume-Uni] ; Brian C. Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni] | Process Support for Evolving Active Architectures |
007A39 |
Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France] | Linear-Time Computation of Local Periods |
007A50 |
Hua Dong [Royaume-Uni] ; Simeon Keates [Royaume-Uni] ; P. John Clarkson [Royaume-Uni] ; Julia Cassim [Royaume-Uni] | Implementing Inclusive Design: The Discrepancy between Theory and Practice |
007A55 |
Fairouz Kamareddine [Royaume-Uni] ; Haiyan Qiao [Suède] | Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF |
007A95 |
Andres Posada [France] ; Etienne Hugues [France] ; Nicolas Franck [France] ; Pascal Vianin [Suisse] ; James Kilner [France, Royaume-Uni] | Augmentation of induced visual gamma activity by increased task complexity |
007A97 |
Pietro Murano [Royaume-Uni] | Anthropomorphic vs. Non-anthropomorphic Software Interface Feedback for Online Systems Usage |
007A99 |
Panayiotis Zaphiris [Royaume-Uni] ; Sri Hastuti Kurniawan [Royaume-Uni] ; R. Darin Ellis [États-Unis] | Age Related Differences and the Depth vs. Breadth Tradeoff in Hierarchical Online Information Systems |
007B06 |
Sri Hastuti Kurniawan [Royaume-Uni] ; Alasdair King [Royaume-Uni] ; David Gareth Evans [Royaume-Uni] ; Paul Blenkhorn [Royaume-Uni] | A Usability Evaluation of a Joystick-Operated Full-Screen Magnifier |
007B17 |
Norman Alm [Royaume-Uni] ; Mamoru Iwabuchi [Royaume-Uni] ; Peter N. Andreasen [Royaume-Uni] ; Kenryu Nakamura [Japon] | A Multi-lingual Augmentative Communication System |
007B78 |
Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France] | A fast algorithm for testing reducibility of trinomials mod 2 and some new primitive trinomials of degree 3021377 |
008750 |
Didier Galmiche [France] ; Daniel Méry [France] ; David Pym [Royaume-Uni] | Resource Tableaux |
008755 |
Irek Ulidowski [Royaume-Uni] | Refusal Simulation and Interactive Games |
008763 |
Yingxu Wang [Canada] ; Antony Bryant [Royaume-Uni] | Process-Based Software Engineering: Building the Infrastructures |
008806 |
Kamal Zuhairi Zamli [Royaume-Uni] ; Peter Lee [Royaume-Uni] | Exploiting a Virtual Environment in a Visual PML |
008830 |
Bernhard Reus [France, Royaume-Uni] | Class-Based versus Object-Based: A Denotational Comparison |
008834 |
Tatiana Rybina [États-Unis, Royaume-Uni] ; Andrei Voronkov [États-Unis, Royaume-Uni] | BRAIN: Backward Reachability Analysis with Integers |
008839 |
Axel Simon [Royaume-Uni] ; Andy King [Royaume-Uni] | Analyzing String Buffers in C |
008845 |
Raymond Devillers [Belgique] ; Hanna Klaudel [France] ; Maciej Koutny [Royaume-Uni] ; Franck Pommereau [France] | An Algebra of Non-safe Petri Boxes |
008863 |
John G. Stell [Royaume-Uni] | A Framework for Order-Sorted Algebra |
008864 |
Patricia M. Hill [Royaume-Uni] ; Fausto Spoto [Italie] | A Foundation of Escape Analysis* |
008895 |
Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni] | Resource tableaux |
008904 |
Raquel Fernandez [Royaume-Uni] ; Jonathan Ginzburg [Royaume-Uni] | Non-sentential utterances: A Corpus study |
008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
008937 |
Isabelle Astic [France] ; Tim Chown [Royaume-Uni] ; Jérôme Durand ; Robert Evans ; Fulvio Risso [Italie] ; Duncan Rogerson ; Bernard Tuy | 6Net IPv6 Network Management Cookbook |
009177 |
John Henry [Royaume-Uni] | ROBERT FOX (ed.), Thomas Harriot: An Elizabethan Man of Science. Aldershot: Ashgate, 2000. Pp. xii+317. ISBN 0-7546-0078-5. £47.50 (hardback). |
009184 |
Geoffrey Cantor [Royaume-Uni] | PAUL KNIGHTS (ed.), The Manuscripts of Michael Faraday (1791–1867) from the Collections of the Royal Institution – the Institution of Electrical Engineers – the Guildhall Library. Wakefield: Microform Academic Publishers, 2001. 23 microfilm reels. £1058.00 (complete), £46.00 (individual reels). FRANK A. J. L. JAMES, Guide to the Microfilm Edition of the Manuscripts of Michael Faraday (1791–1867) from the Collections of the Royal Institution – the Institution of Electrical Engineers – the Guildhall Library. Wakefield: Microform Academic Publishers, 2000. Pp. 94. ISBN 1-851170-31-6. £10.00 (paperback). |
009193 |
Jon Agar [Royaume-Uni] | JAMES GILLIES and ROBERT CAILLIAU, How the Web was Born. Oxford: Oxford University Press, 2000. Pp. xii+372. ISBN 0-19-286207-3. £8.99, $15.95 (paperback). |
009201 |
Mark Wilkinson [Royaume-Uni] ; Joseph L. Thorley [Royaume-Uni] ; R. Olmstead [Royaume-Uni] | Efficiency of Strict Consensus Trees |
009297 |
R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Graham Kirby [Royaume-Uni] ; Ken Mayes [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Brian Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni] | Reflection and Reification in Process System Evolution: Experience and Opportunity |
009353 |
Lorraine Ludman [Royaume-Uni] ; Lewis Spitz [Royaume-Uni] ; Angie Wade [Royaume-Uni] | Educational attainments in early adolescence of infants who required major neonatal surgery |
009401 |
Chris Fox [Royaume-Uni] ; Shalom Lappin [Royaume-Uni] | A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations |
009432 |
Sylviane Granger [Belgique] ; Anne Vandeventer [Suisse] ; Marie-Josée Hamel [Royaume-Uni] | Analyse de corpus d'apprenants pour l'ELAO basé sur le TAL |
009739 |
Gilles Simon [France] ; Andrew W. Fitzgibbon [Royaume-Uni] ; Andrew Zisserman [Royaume-Uni] | Markerless Tracking using Planar Structures in the Scene |
009D03 |
Stephen F. Noreiko [Royaume-Uni] | Wise, Hilary, The Vocabulary of Modern French: Origins, Structure and Function. London: Routledge, 1997, 256 pp.0 415 11739 9 (pbk ), 0 415 11738 0 (hbk) |
009D04 |
Jean-Marc Dewaele [Royaume-Uni] | Wilmet, Marc, Le Participe passé autrement. Paris – Bruxelles: Département Duculot – De Boeck & Larcier, 1999, 122 pp. 2 8011 1256 9 |
009D08 |
Ken George [Royaume-Uni] | Temple, Martine, Pour une sémantique des mots construits. Villeneuve d'Ascq (Nord): Presses Universitaires du Septentrion, 1996, 363 pp. 2 85939 449 4 |
009D15 |
Geoff Hare [Royaume-Uni] | Ritchie, Adrian C., Media French. A Guide to Contemporary French Idiom, Cardiff: University of Wales Press, 1997. 268 pp. 0 7083 1399 X |
009D18 |
Didier Galmiche [France] ; David J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages: an introduction |
009D22 |
H. Everett [France] ; C. T. Hoàng [France, Canada] ; K. Kilakos [France, Royaume-Uni] ; M. Noy [France, Espagne] | Planar segment visibility graphs |
009D28 |
Elspeth Broady [Royaume-Uni] | Morton, Jacqueline, English Grammar for Students of French. London: Arnold, 1999, viii + 176 pp. 0 340 73202 X. (Fourth edition. Originally published in the United States of America by The Olivia and Hill Press.) |
009D29 |
Stephen F. Noreiko [Royaume-Uni] | Mollard-Desfour, Annie, Le dictionnaire des mots et expressions de couleur du XXe siècle: Le Bleu. Paris: CNRS Éditions, 1998, 260 pp. 2 271 05563 6 |
009D30 |
Dougall Campbell [Royaume-Uni] | Maun, Ian, Radical ! A practical guide to French grammar (Arnold Concise Grammars). London: Edward Arnold, 2000, 283 pp. 0 340 71977 X |
009D31 |
Marc Stewart [Royaume-Uni] | Marzys, Zygmunt, La variation et la norme. Geneva: Librairie Droz SA, 1998, 293 pp. |
009D32 |
Ken George [Royaume-Uni] | Levieux, Eleanor and Levieux, Michel, Insiders' French: beyond the dictionary. Chicago and London: The University of Chicago Press, 1999, ix + 259 pp. 0 226 47502 6 (cloth) 0 226 47503 4 (paper) |
009D33 |
Jean-Marc Dewaele [Royaume-Uni] | Lapkin, Sharon (éd.), French Second Language Education in Canada: empirical studies. Toronto & Buffalo: University of Toronto Press, 1998, xxx + 350 pp. 0 8020 4333 X |
009D35 |
Dulcie M. Engel [Royaume-Uni] | Lang, Jürgen and Neumann-Holzschuh, Ingrid (eds), Reanalyse und Grammatikalisierung in den romanischen Sprachen. (Linguistische Arbeiten, 410.) Tübingen: Niemeyer, 1999, vii + 209 pp. 3 484 30410 3 |
009D43 |
Malcolm Offord [Royaume-Uni] | Held, Gudrun, Verbale Höflichkeit: Studien zur linguistischen Theorienbildung und empirische Untersuchung zum Sprachverhalten französischer und italienischer Jugendlicher in Bitt- und Dankessituationen. (Tübinger Beiträge zur Linguistik, 406). Tübingen: Narr, 1995, 486 pp. 3 8233 5071 4. |
009D44 |
Stephen F. Noreiko [Royaume-Uni] | Harrap French Office I.T. Dictionary. Edinburgh: Chambers Harrap, 1999, xi + (E–F) 80 + (40) + (F–E) 82 + (36) pp. 0 245 60656 3. Harrap French Sales and Marketing Dictionary. Edinburgh: Chambers Harrap, 1999, x + (E–F) 116 + (6) + (F–E) 114 + (6) + iv pp. 0 245 60666 1. Oxford French Minidictionary. Oxford: Oxford University Press, 1999, xv + 604 pp. 0 19 860245 6 |
009D49 |
Eric Bel [Royaume-Uni] | Gambier, Y. (ed.), Discours professionnels en Français. (Nordeuropäische Beiträge aus den Human- und Gesellschaftswissenschaften, vol. 16) Frankfurt am Main: Peter Lang, 1998, 224 pp. 3 631 31523 6 |
009D52 |
Ken George [Royaume-Uni] | Duffy, Jean J., Using French Vocabulary. Cambridge: Cambridge University Press, 1999, ix + 476 pp. 0 521 57040 9 (hardback) 0 521 57851 5 (paperback) |
009D53 |
Pierre Larrivée [Royaume-Uni] | Curat, Hervé, Les Déterminants dans la référence nominale et les conditions de leur absence. Genève-Paris: Droz, 1999, 350 pp. 2 600 00340 1 |
009D61 |
Judith Broadbridge [Royaume-Uni] | Braselmann, Petra, Sprachpolitik und Sprachbewusstsein in Frankreich heute. (Romantische Arbeitshefte, 44.) Tübingen: Niemeyer, 1999, vi + 162 pp. 3 484 54643 5 |
009D65 |
Jeremy Whistle [Royaume-Uni] | Adamson, Robin, (ed.), Ça m'inspire: New Directions in French Language Studies. London and Dundee: AFLS/University of Dundee, 1996, 256 pp, 09511637 8 |
009E35 |
Alessandro Armando [Italie, France] ; Claudio Castellini [Royaume-Uni] ; Enrico Giunchiglia [Italie] | SAT-Based Procedures for Temporal Reasoning |
009E40 |
Marc Shapiro [France, Royaume-Uni] ; Fabrice Le Fessant [France] ; Paulo Ferreira [Portugal] | Recent Advances in Distributed Garbage Collection |
009E43 |
P. Carter [Royaume-Uni] ; D. C Cox [Royaume-Uni] ; C. A Gandin [Royaume-Uni] ; R. C Reed [Royaume-Uni] | Process modelling of grain selection during the solidification of single crystal superalloy castings |
009E50 |
F. Oquendo [France] ; K. N. Papamichail [Royaume-Uni] ; I. Robertson [Royaume-Uni] | Overcoming inadequacies in process modelling: The need for decisioning Be a first-class citizen |
009E59 |
U. Hustadt [Royaume-Uni] ; C. Dixon [Royaume-Uni] ; R. A. Schmidt [Royaume-Uni] ; M. Fisher [Royaume-Uni] | Normal Forms and Proofs in Combined Modal and Temporal Logics |
009E76 |
Ursula Martin [Royaume-Uni] ; Duncan Shand [Royaume-Uni] | Invariants, Patterns and Weights for Ordering Terms |
009E79 |
Erik Poll [Pays-Bas] ; Simon Thompson [Royaume-Uni] | Integrating Computer Algebra and Reasoning through the Type System of Aldor |
009E97 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
009F41 |
Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni] | A support framework for dynamic organizations |
009F85 |
J. L. Caldwell [États-Unis] ; I. P. Gent [Royaume-Uni] ; J. Underwood [Royaume-Uni] | Search algorithms in type theory |
009F89 |
E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni] | On the intuitionistic force of classical search |
00A356 |
Massimo Poesio [Royaume-Uni] ; Florence Bruneseaux [France] ; Laurent Romary [France] | The MATE meta-scheme for coreference in dialogues in multiple languages |
00A827 |
Erik Grimmer-Solem [Royaume-Uni] ; Roberto Romani [Royaume-Uni] | THE HISTORICAL SCHOOL, 1870–1900: A CROSS-NATIONAL REASSESSMENT |
00A830 |
Les Hatton [Royaume-Uni] | Repetitive failure, feedback and the lost art of diagnosis |
00A841 |
M. Wiercigroch [Royaume-Uni] ; R. D. Neilson [Royaume-Uni] ; M. A. Player [Royaume-Uni] | Material removal rate prediction for ultrasonic drilling of hard materials using an impact oscillator approach |
00A916 |
Marc Buyse [Belgique] ; Stephen L. George [États-Unis] ; Stephen Evans [Royaume-Uni] ; Nancy L. Geller [États-Unis] ; Jonas Ranstam [Suède] ; Bruno Scherrer [France] ; Emmanuel Lesaffre [Belgique] ; Gordon Murray [Royaume-Uni] ; Lutz Edler [Allemagne] ; Jane Hutton [Royaume-Uni] ; Theodore Colton [États-Unis] ; Peter Lachenbruch [États-Unis] ; Babu L. Verma [Inde] | The role of biostatistics in the prevention, detection and treatment of fraud in clinical trials |
00A972 |
Zhaohui Luo [Royaume-Uni] ; Paul Callaghan [Royaume-Uni] | Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language |
00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
00AA00 |
Masahiko Sato [Japon] ; Takafumi Sakurai [Japon] ; Rod Burstall [Royaume-Uni] | Explicit Environments |
00AA34 |
B. C. Warboys [Royaume-Uni] ; D. Balasubramaniam [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; G. N. C. Kirby [Royaume-Uni] ; K. Mayes [Royaume-Uni] ; R. Morrison [Royaume-Uni] ; D. S. Munro [Australie] | Collaboration and Composition: Issues for a Second Generation Process Language |
00AA97 |
S. Cavallar [Pays-Bas] ; W. Lioen [Pays-Bas] ; H. Te Riele [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; P. Zimmermann [France] | Factorization of RSA-140 using the number field Sieve |
00B311 |
Serge Garlatti [France] ; Mike Sharples [Royaume-Uni] | The use of a computerized brain atlas to support knowledge-based training in radiology |
00B327 |
A. Amin [Australie] ; S. Singh [Royaume-Uni] | Recognition of hand-printed Chinese characters using decision trees/machine learning C4.5 system |
00B343 |
Ursula Martin [Royaume-Uni] | New Directions for Syntactic Termination Orderings |
00B358 |
Farid Ajili [Royaume-Uni, France] ; Hendrik C. R. Lock [Allemagne] | Integrating constraint propagation in complete solving of linear diophantine systems |
00B429 |
M. J. F. Gales [Royaume-Uni] | Predictive model-based compensation schemes for robust speech recognition |
00B435 |
P. W. Shields [Royaume-Uni] ; D. R. Campbell [Royaume-Uni] | Intelligibility improvements obtained by an enhancement method applied to speech corrupted by noise and reverberation |
00B440 |
A. Hussain [Royaume-Uni] ; D. R. Campbell [Royaume-Uni] | Binaural sub-band adaptive speech enhancement using artificial neural networks |
00B448 |
Olivier Festor [France] ; George Pavlou [Royaume-Uni] | Management Information Model Engineering |
00B673 |
Hazel Everett [France] ; Sylvain Lazard [France] ; Steve Robbins [Canada] ; H. Schröder [Royaume-Uni] ; Sue Whitesides [Canada] | Convexifying Star-Shaped Polygons |
00BB37 |
Fairouz Kamareddine [Royaume-Uni] ; Alejandro Ríos [Royaume-Uni] | Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms |
00BC11 |
Laurent Fribourg [France] ; Julian Richardson [Royaume-Uni] | Symbolic verification with gap-order constraints |
00BC13 |
Robin Milner [Royaume-Uni] | Strong normalisation in higher-order action calculi |
00BC16 |
Samuel M. H. W. Perlo-Freeman [Royaume-Uni] ; Péter Pr Hle [Royaume-Uni, Hongrie] | Scott's conjecture is true, position sensitive weights |
00C003 |
Bashar Nuseibeh [Royaume-Uni] | When agents clash |
00C011 |
David G. Wastell [Royaume-Uni] | The fetish of technique: methodology as a social defence |
00C026 |
Anthony Finkelstein [Royaume-Uni] | Requirements engineering research: Coordination and infrastructure |
00C042 |
P. Kawalek [Royaume-Uni] ; D. G. Wastell [Royaume-Uni] | Organisational design for software development: A cybernetic perspective |
00C070 |
Márta Korbonits ; Peter J. Trainer ; Marcia L. Nelson ; Iain Howse ; Peter G. Kopelman [Royaume-Uni] ; G. Michael Besser ; Ashley B. Grossman ; Frank Svec | Differential stimulation of corticol and dehydropiandrosterone levels by food in obese and normal subjects: relation to body fat distribution |
00C094 |
Sandra P. Price [Royaume-Uni] ; Anne Morris [Royaume-Uni] ; J. Eric Davies [Royaume-Uni] | An overview of commercial electronic document delivery suppliers and services |
00C101 |
Bob Snowdon [Royaume-Uni] | Active models and process support |
00C608 |
Ir Mcchesney [Royaume-Uni] | Toward a classification scheme for software process modelling approaches |
00C616 |
D. C. Potts [Royaume-Uni] | REVIEWS |
00C617 |
J. Roche [Royaume-Uni] | Quality software management: Volume 2: First-order measurement |
00C636 |
Hazel Woodward [Royaume-Uni] ; Cliff Mcknight [Royaume-Uni] | Electronic journals: Issues of access and bibliographical control |
00C637 |
L. X. Zhou [Royaume-Uni] ; T. N. Baker [Royaume-Uni] | Effects on dynamic and metadynamic recrystallization on microstructures of wrought IN-718 due to hot deformation |
00C643 |
A. G. Howatson ; W. J. A. Patrick [Royaume-Uni] ; G. S. Fell [Royaume-Uni] ; T. D. B. Lyon [Royaume-Uni] ; A. A. M. Gibson [Royaume-Uni] ; B. A. Richardson [Canada] ; E. A. Mitchell ; Lorraine Scragg [Nouvelle-Zélande] ; M. Clements [Nouvelle-Zélande] ; S. A. Bell ; M. Cole [Royaume-Uni] | Cot mattresses and sudden infant death syndrome |
00C659 |
Gordon Dixon [Royaume-Uni] | A Decade of Editing Literary and Linguistic Computing |
00C794 |
T. L. Mccluskey [Royaume-Uni] ; J. M. Porteous [Royaume-Uni] ; Y. Naik [Royaume-Uni] ; C. N. Taylor [Royaume-Uni] ; S. Jones [Royaume-Uni] | A requirements capture method and its use in an air traffic control application |
00C797 |
David Duffy [Royaume-Uni] ; Craig Macnish [Royaume-Uni] ; John Mcdermid [Royaume-Uni] ; Philip Morris [Royaume-Uni] | A framework for requirements analysis using automated reasoning |
00CC96 |
Monica Nesi [Royaume-Uni] ; Valeria De Paiva [Royaume-Uni] ; Eike Ritter [Royaume-Uni] | Rewriting properties of combinators for rudimentary linear logic |
00CD10 |
R. Mark Greenwood [Royaume-Uni] | Modelling processes with constraints |
00CD11 |
Jin Sa [Royaume-Uni] ; Brian C. Warboys [Royaume-Uni] | Modelling processes using a stepwise refinement technique |
00CD35 |
Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni] | Compilation of functional languages using flow graph analysis |
00D113 |
A. De Guibert [France] ; B. Chaumont [France] ; L. Albert [France] ; J. L. Caillerie [France] ; A. Ueberschaer [Allemagne] ; R. Höhn [Allemagne] ; W. Davis [Royaume-Uni] ; M. J. Weighall [Royaume-Uni] | Use of secondary lead for new generations of lead/acid batteries |
00D228 |
Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni] | A strategy to deal with divergent rewrite systems |
00D552 |
P. A. Russell [Royaume-Uni] | The evolutionary model is synthetic not heuristic |
00D558 |
Nancy J. Lane [Royaume-Uni] ; Thomas S. Reese [États-Unis] ; Bechara Kachar [États-Unis] | Structural domains of the tight junctional intramembrane fibrils |
00D623 |
Ian Sommerville [Royaume-Uni] ; Tom Rodden [Royaume-Uni] | Understanding the software process as a social process |
00D625 |
Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni] | Towards a reference framework for process concepts |
00D627 |
Peter J. Kawalek [Royaume-Uni] | The process modelling cookbook orientation, description and experience |
00D654 |
R. R. Hall [Royaume-Uni] ; G. Tenenbaum [France] | On Behrend sequences |
00D665 |
Jin Sa [Royaume-Uni] ; Brian Warboys [Royaume-Uni] | Integrating a formal specification method with PML: A case study |
00D698 |
Robert Snowdon [Royaume-Uni] | An example of process change |
00D706 |
Flávio Oquendo [France] ; Jean-Daniel Zucker [France] ; Philip Griffiths [Royaume-Uni] | A meta-CASE environment for software process-centred CASE environments |
00DA00 |
Sj Pratt [Royaume-Uni] | Distributed systems |
00DA09 |
P. A Dowd [Royaume-Uni] | A review of recent developments in geostatistics |
00DA50 |
Pieter H. Hartel [Pays-Bas, Royaume-Uni] | Performance of lazy combinator graph reduction |
00DA71 |
Christiane Notarmarco [Royaume-Uni] ; Rod Mulvey [Royaume-Uni] | Formal aspects of computing: LATEX style guide for authors |
00DD75 |
Tim Smithers [Royaume-Uni] ; Alistair Conkie [Royaume-Uni] ; Jim Doheny [Royaume-Uni] ; Brian Logan [Royaume-Uni] ; Karl Millington [Royaume-Uni] ; Ming Xi Tang [Royaume-Uni] | Design as intelligent behaviour: An AI in design research programme |
00DD79 |
William Jervis Jones [Royaume-Uni] | Book Reviews |
00DE21 |
Charles Rattray [Royaume-Uni] ; Don Price [Royaume-Uni] | Sketching an evolutionary hierarchical framework for knowledge-based systems design |
00DE32 |
Amaury Legait [France] ; Flávio Oquendo [France] ; Dan Oldfield [Royaume-Uni] | MASP: A model for assisted software processes |
00DE42 |
David B. Elliott [Royaume-Uni, Canada] ; David Whitaker [Royaume-Uni] ; Lorraine Bonette [Royaume-Uni] | Differences in the legibility of letters at contrast threshold using the Pelli‐Robson chart |
00DE51 |
Jeremy Dick [Royaume-Uni] ; John Kalmus [Royaume-Uni] ; Ursula Martin [Royaume-Uni] | Automating the Knuth Bendix ordering |
00E000 |
Kevind Forsyth [Royaume-Uni] ; Margaretm Fitzpatrick [Royaume-Uni] ; Annac Simpson [Royaume-Uni] ; T. Martin Barratt [Royaume-Uni] ; Rolandj Levinsky [Royaume-Uni] | NEUTROPHIL-MEDIATED ENDOTHELIAL INJURY IN HAEMOLYTIC URAEMIC SYNDROME |
00E014 |
Susan Hockey [Royaume-Uni] | Chairman's Report |
00E037 |
Tobias Nipkow [Royaume-Uni] | Term rewriting and beyond — theorem proving in Isabelle |
00E284 |
Susan Hockey [Royaume-Uni] | Report on the Fifteenth ALLC and Second AIBI Conferences |
00E353 |
William P. R. Mitchell [Royaume-Uni] | Inductive completion with retracts |
00E558 |
Michael R. Wilson [Suède] ; Stefan Sehlstedt [Suède] ; Lars- Ke Claesson [Suède] ; John A. T. Smellie [Suède] ; Margaret Aftalion [Royaume-Uni] ; P. Joseph Hamilton [Royaume-Uni] ; Anthony E. Fallick [Royaume-Uni] | Jörn: An early proterozoic intrusive complex in a volcanic-arc environment, north sweden |
00E619 |
D. E. Rydeheard [Royaume-Uni] ; J. G. Stell [Royaume-Uni] | Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms |
00E627 |
Paul Anderson [Royaume-Uni] ; Chris Hankin [Royaume-Uni] ; Paul Kelly [Royaume-Uni] ; Peter Osmon [Royaume-Uni] ; Malcolm Shute [Royaume-Uni] | Cobweb-2: Structured specification of a wafer-scale supercomputer |
00E825 |
I. Aleksander [Royaume-Uni] | Subject Bibliography |
00E855 |
Ian Toyn [Royaume-Uni] ; Colin Runciman [Royaume-Uni] | Adapting combinator and SECD machines to display snapshots of functional computations |
00EC64 |
Rebecca Posner [Royaume-Uni] | REVIEWS |
00EC75 |
Wendy Ayres [Royaume-Uni] | A STUDY IN THE GENESIS OF VAUGELAS'S REMARQUES SUR LA LANGUE FRANÇOISE: THE ARSENAL MANUSCRIPT1 |
00EC97 |
Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne] | Technology |
00ED21 |
Donald Sannella [Royaume-Uni] ; Martin Wirsing [Allemagne] | A kernel language for algebraic specification and implementation extended abstract |
00ED61 |
S. H. Rigby [Royaume-Uni] ; John Edwards [Royaume-Uni] | V The Later Middle Ages (1200–1500) |
00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
00ED92 |
J. S. Bridle [Royaume-Uni] ; M. D. Brown [Royaume-Uni] ; R. M. Chamberlain [Royaume-Uni] | An Algorithm for Connected Word Recognition |
00EE29 |
J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni] | On the power of algebraic specifications |
00EE42 |
P. Depraétere [France] ; A. T. Florence [France, Royaume-Uni] ; F. Puisieux [France] ; M. Seiller [France] | Some properties of oil-in-water emulsions stabilized with mixed non-ionic surfactants (Brij 92 and Brij 96) |
00EF11 |
Constantine Kaniklidis [États-Unis] ; Leslie Mezei ; Richard Kittredge [Canada] ; Albert C. E. Parker ; Hugh F. Cline [États-Unis] ; Frank H. Nuessel Jr. [États-Unis] ; James M. Beshers [États-Unis] ; G. A. Clark [États-Unis] ; John F. Hall [Royaume-Uni] ; Catherine Findler [États-Unis] ; Nathan A. Greenberg [États-Unis] ; T. J. Cartwright ; V. M. Du Feu ; Pauline Atherton [États-Unis] ; Gerd Althoff ; John Rothman ; Joseph Raben [États-Unis] ; Mimi Penchansky | Book reviews |
00EF37 |
Adam Grummitt [Royaume-Uni] | Real-time record management in general practice |
00EF59 |
John M. Cubitt [Royaume-Uni] ; Omer Celenk [Royaume-Uni] | Fortran program for producing stereograms in geology |
00EF79 |
J. P. Motte [Royaume-Uni] ; N. N. Greenwood [Royaume-Uni] | Etude par effet Mössbauer de la structure et des propriétés de diffusion de la phase antifluorine nonstoechiométrique: Li8SnP4 |